
type X =
    do ()
